package plus;

public class TS_Intrinsic extends TypeSym {
	final String name;
	final Type type;

	public TS_Intrinsic(String name, Type type) {
		this.name = name;
		this.type = type;
	}
	
	@Override public Type constructWith(Type[] actuals) {
		if (null == actuals) return type;
		else throw new Gripe("Can't provide formal type parameters to intrinsic type "+name+".");
	}

}
